* doc/misc/newsticker.texi (Overview): Update URL.
authorGlenn Morris <rgm@gnu.org>
Thu, 4 Jul 2013 01:55:25 +0000 (18:55 -0700)
committerGlenn Morris <rgm@gnu.org>
Thu, 4 Jul 2013 01:55:25 +0000 (18:55 -0700)
commit1e13038ce6389945bc77154d409f373bed7f719b
tree98387e4a3015a4e528c59f2595b78def9eb18997
parentc7d2e6c89da9e89780483d9b2a39aee7f1f298c7
* doc/misc/newsticker.texi (Overview): Update URL.
doc/misc/ChangeLog
doc/misc/newsticker.texi